Ilaria Castellani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)

Castellani, Ilaria, Mousavi, Mohammad Reza

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 143 KB

english, 2019

2

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)

Castellani, Ilaria, Mousavi, Mohammad Reza

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 143 KB

2019

3

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)

Castellani, Ilaria, Reza Mousavi, Mohammad

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 132 KB

english, 2017

4

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

5

Brain functional connectivity in sleep-related hypermotor epilepsy

Evangelisti, Stefania, Testa, Claudia, Ferri, Lorenzo, Gramegna, Laura Ludovica, Manners, David Neil, Rizzo, Giovanni, Remondini, Daniel, Castellani, Gastone, Naldi, Ilaria, Bisulli, Francesca, Tonon,

Journal:

NeuroImage: Clinical

Year:

2018

Language:

english

File:

PDF, 858 KB

english, 2018

6

State-oriented Noninterference for CCS

Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 435 KB

english, 2007

7

Bisimulations and abstraction homomorphisms

Ilaria Castellani

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.29 MB

english, 1987

8

The impact of outward investments on parent company's employment and skill composition: Evidence from the Italian case

Davide Castellani, Ilaria Mariotti, Lucia Piscitello

Journal:

Structural Change and Economic Dynamics

Year:

2008

Language:

english

File:

PDF, 502 KB

english, 2008

9

Self-adaptation and secure information flow in multiparty communications

Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Pérez, Jorge A.

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.43 MB

english, 2016

10

An algebraic characterization of observational equivalence

André Arnold, Ilaria Castellani

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 757 KB

english, 1996

11

Characterization of the immune microenvironment in malignant pleural mesothelioma reveals prognostic subgroups of patients

Fusco, Nicola, Vaira, Valentina, Righi, Ilaria, Sajjadi, Elham, Venetis, Konstantinos, Lopez, Gianluca, Cattaneo, Margherita, Castellani, Massimo, Rosso, Lorenzo, Nosotti, Mario, Clerici, Mario, Ferre

Journal:

Year:

2020

File:

PDF, 6.16 MB

2020

12

Detecting the presence of bacterial DNA by PCR can be useful in diagnosing culture-negative cases of infection, especially in patients with suspected infection and antibiotic therapy

Lleo, Maria M., Ghidini, Valentina, Tafi, Maria Carla, Castellani, Francesco, Trento, Ilaria, Boaretti, Marzia

Journal:

FEMS Microbiology Letters

Year:

2014

Language:

english

File:

PDF, 184 KB

english, 2014

13

Noninterference for concurrent programs and thread systems

Gérard Boudol, Ilaria Castellani

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 198 KB

english, 2002

14

The cerebral pressure autoregulation is impaired in the elderly with isolated systolic hypertension

Sergio Castellani, Nadia Boni, Ilaria Carobbi, Gian Franco Gensini, Giulio Masotti

Journal:

American Journal of Hypertension

Year:

2001

Language:

english

File:

PDF, 38 KB

english, 2001

15

Distributed bisimulations

Castellani, Ilaria, Hennessy, Matthew

Journal:

Journal of the ACM

Year:

1989

Language:

english

File:

PDF, 1.73 MB

english, 1989

16

Peripheral localization of the epithelial sodium channel (ENaC) in the apical membrane of bronchial epithelial cells

Musante, Ilaria, Scudieri, Paolo, Venturini, Arianna, Guidone, Daniela, Caci, Emanuela, Castellani, Stefano, Conese, Massimo, Galietta, Luis J.V.

Journal:

Experimental Physiology

Year:

2019

Language:

english

File:

PDF, 1.89 MB

english, 2019

17

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.20 MB

english, 1998

18

The cerebral adaptation to head up tilt (HUT) stimulation is not impaired in the elderly with isolated systolic hypertension

Sergio Castellani, Nadia Boni, Ilaria Carobbi, Gian Franco Gensini, Giulio Masotti

Journal:

American Journal of Hypertension

Year:

2001

Language:

english

File:

PDF, 38 KB

english, 2001

19

Typing noninterference for reactive programs

Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 794 KB

english, 2007

20

Global types with internal delegation

Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.34 MB

english, 2019

21

Early diagnosis from newborn screening maximises survival in severe cystic fibrosis

Tridello, Gloria, Castellani, Carlo, Meneghelli, Ilaria, Tamanini, Anna, Assael, Baroukh M.

Journal:

ERJ Open Research

Year:

2018

Language:

english

File:

PDF, 366 KB

english, 2018

22

Reactive Concurrent Programming Revisited

Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

23

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

24

OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES

CASTELLANI, ILARIA

Journal:

International Journal of Foundations of Computer Science

Year:

1995

Language:

english

File:

PDF, 1.76 MB

english, 1995

25

Preface: Volume 27

Ilaria Castellani, Björn Victor

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 37 KB

english, 1999

26

Information flow safety in multiparty sessions

CAPECCHI, SARA, CASTELLANI, ILARIA, DEZANI-CIANCAGLINI, MARIANGIOLA

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

27

Prevalence, Awareness, Treatment, and Control of Hypertension among Chinese First-Generation Migrants and Italians in Prato, Italy: The CHIP Study

Modesti, Pietro A., Calabrese, Maria, Marzotti, Ilaria, Bing, Hushao, Malandrino, Danilo, Boddi, Maria, Castellani, Sergio, Zhao, Dong

Journal:

International Journal of Hypertension

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

28

Parallel product of event structures

Ilaria Castellani, Zhang Guo-Qiang

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 877 KB

english, 1997

29

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 43 KB

english, 1998

30

Typing access control and secure information flow in sessions

Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 888 KB

english, 2014

31

Public awareness on cystic fibrosis: results from a national pragmatic survey

Braido, Fulvio, Baiardini, Ilaria, Sumberesi, Massimo, Canonica, Giorgio Walter, Blasi, Francesco, Castellani, Carlo

Journal:

European Respiratory Journal

Year:

2015

Language:

english

File:

PDF, 306 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски